Nuprl Definition : w-action
11,40
postcript
pdf
Action(
i
) == Action(w-action-dec(
w
.TA;
w
.M;
i
))
latex
clarification:
w-action(
w
;
i
) == Action(w-action-dec(
w
.TA;
w
.M;
i
))
latex
Definitions
w
.M
,
w
.TA
,
w-action-dec(
TA
;
M
;
i
)
,
Action(
dec
)
,
Action(
i
)
FDL editor aliases
w-action
origin